1.1
当
时,
1.2
若
时成立, 则将
的事件分解为, 从
转移一步到
, 再转移
步被吸收, 于是
2.
类似第一点易证.
3.
由引理和第一点,
4.
由引理和第二点,
证毕.